- 自动演绎系统
- deduction system: 演绎系统
- backward deduction system: 后向演绎系统; 向后演绎系统
- completeness of deduction system: 演绎系统完备性; 演绛系统完备性
- forward deduction system: 正向演译系统
- hilbert-style deduction system: 希尔伯特风格演绎系统; 希尔伯特演绎系统
下载手机词典可随时随地查词查翻译
automated deduction system中文什么意思
发音:
- 自动演绎系统
下载手机词典可随时随地查词查翻译
相关词汇
相邻词汇
- automated data processing equipment 什么意思
- automated data tiering 什么意思
- automated date acquisition and control system 什么意思
- automated decision making 什么意思
- automated decision-making 什么意思
- automated derivation 什么意思
- automated desensitization 什么意思
- automated design (ad) 什么意思
- automated design tool 什么意思
- automated detailing 什么意思